Random access machine

Results: 56



#Item
21Computing / Computability theory / Parallel Random Access Machine / Formal methods / Central processing unit / Distributed computing / NC / Random access machine / Actor model / Theoretical computer science / Applied mathematics / Models of computation

Computation-Trace Indistinguishability Obfuscation and its Applications Yu-Chi Chen∗ Sherman S. M. Chow† Wei-Kai Lin¶

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2015-04-29 11:40:02
22Mathematics / Computability theory / Formal methods / Turing machine / Random access machine / Computational complexity theory / Algorithm / Lambda calculus / FO / Theory of computation / Models of computation / Theoretical computer science

The tree machine? Arnaud Spiwack MINES ParisTech Abstract. A variant of Turing machines is introduced where the tape

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2015-02-19 09:03:36
23Cryptographic protocols / Key management / Secret sharing / Time complexity / Algorithm / Polynomial / XTR / Theoretical computer science / Applied mathematics / Mathematics

Secret Shared Random Access Machine (Preliminary Version) Shlomi Dolev∗ Yin Li† March 28, 2015 Abstract

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2015-03-28 08:21:27
24Theoretical computer science / Software engineering / Parallel computing / Parallel Random Access Machine / Bulk synchronous parallel / Distributed computing / Programming language / Kahn process networks / Thread / Models of computation / Computing / Concurrent computing

Characterising Effective Resource Analyses for Parallel and Distributed Coordination P. W. Trinder1 , M. I. Cole2 , H-W. Loidl1 , and G. J. Michaelson1 1 School of Mathematical and Computer Sciences,

Add to Reading List

Source URL: www.macs.hw.ac.uk

Language: English - Date: 2010-04-06 09:34:25
25Java platform / Computing platforms / Memory management / Pointer / Java virtual machine / Java Native Interface / Dynamic random-access memory / Type safety / ECC memory / Computing / Computer memory / Cross-platform software

Using Memory Errors to Attack a Virtual Machine Sudhakar Govindavajhala ∗ Andrew W. Appel Princeton University {sudhakar,appel}@cs.princeton.edu Abstract

Add to Reading List

Source URL: www.cs.princeton.edu

Language: English - Date: 2003-03-06 09:41:50
26Computer / Computing / Machine code / Machine-or-transformation test / Abstract machine / Computer science / Register machines / Pointer machine / Random access machine / Models of computation / Theory of computation / Theoretical computer science

ON PURPOSE AN ENQUIRY INTO THE POSSIBLE ROLES OF THE COMPUTER IN ART HAROLD COHEN

Add to Reading List

Source URL: www.aaronshome.com

Language: English - Date: 2014-09-12 15:26:30
27Philosophy of mathematics / Tic-tac-toe / Function / First-order logic / Combinatory logic / Economic model / Model theory / Random access machine / Mathematics / Mathematical logic / Logic

Microsoft Word - IBS[removed]AI NNets, Gene, NLP.doc

Add to Reading List

Source URL: www.foibg.com

Language: English - Date: 2015-02-02 08:45:45
28Parallel Random Access Machine / Parallel algorithm / Multi-core processor / Algorithm / Cell / Computational complexity theory / NC / Linearizability / List ranking / Concurrent computing / Computing / Parallel computing

Parallel Processing Letters cfWorld Scientific Publishing Company FAILURE-SENSITIVE ANALYSIS OF PARALLEL ALGORITHMS WITH CONTROLLED MEMORY ACCESS CONCURRENCY∗ CHRYSSIS GEORGIOU

Add to Reading List

Source URL: www.cs.ucy.ac.cy

Language: English - Date: 2007-11-27 05:21:39
29Philosophy of mathematics / Model theory / Function / First-order logic / Combinatory logic / Tic-tac-toe / Economic model / Random access machine / Mathematics / Mathematical logic / Logic

Second Attempt to Build a Model of the Tick-Tack-Toe Game Dimiter Dobrev Institute of Mathematics and Informatics, Bulgarian Academy of Sciences, “Acad. G. Bonchev” Str., Bl. 8,

Add to Reading List

Source URL: www.dobrev.com

Language: English - Date: 2008-01-11 14:21:12
30Programming language implementation / Software engineering / Alias analysis / Static program analysis / X86 assembly language / JMP / IBM Basic assembly language / PDP-8 / Random access machine / Assembly languages / Computer architecture / Computing

Alias Analysis for Assembly David Brumley and James Newsome December 15, 2006 CMU-CS-06-180R

Add to Reading List

Source URL: users.ece.cmu.edu

Language: English - Date: 2014-05-29 15:38:01
UPDATE